How can I extract ID numbers from a large Excel dataset using a formula